IdLnk $\in$ Type